An optimal construction of Hanf sentences
نویسندگان
چکیده
منابع مشابه
An optimal construction of Hanf sentences
We give a new construction of formulas in Hanf normal form that are equivalent to first-order formulas over structures of bounded degree. This is the first algorithm whose running time is shown to be elementary. The triply exponential upper bound is complemented by a matching lower bound.
متن کاملConstruction of an HPSG Grammar for the Arabic Relative Sentences
The paper proposes a treatment of relative sentences within the framework of Head-driven Phrase Structure Grammar (HPSG). Relative sentences are considered as a rather delicate linguistic phenomenon and not explored enough by Arabic researchers. In an attempt to deal with this phenomenon, we propose in this paper a study about different forms of relative clauses and the interaction of relatives...
متن کاملTowards an optimal ontology construction
A subject of ontology, its usage, building and evaluation has been becoming one of the most popular research topics for the last ten years. Such a strong interest to this issue can be explained by great expectations that scientists relate to a widespread ontology’s usage. Following by Uschold [46] we can emphasize 3 main ontology’s purposes: 1. Intelligent communication between different domain...
متن کاملConstruction of sentences with specific interpretability properties
A construction is presented for generating sentences that satisfy a recursively enumerable set of interpretability properties. This construction is then used to prove three previously announced results concerning the lattice of local interpretability types of theories (also known as the Lattice of Chapters). The purpose of this paper is to prove three theorems originally announced without proof...
متن کاملEstablishment an international prison in order to Execution of criminal sentences of the International Criminal Court
However, the punishment of imprisonment has become the main response of domestic and international arsenals; But now one of the most important challenges facing the International Criminal Court is how to enforce its sentences, and especially the execution of imprisonment.according to the Statute of the Court, imprisonment is carried out through voluntary agreements with the receiving countries ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Applied Logic
سال: 2012
ISSN: 1570-8683
DOI: 10.1016/j.jal.2012.01.002